Formale Grundlagen von Informationssystemen

Veranstalter:

Prof. Dr. Georg Lausen

Mitwirkung

Thomas Hornung
Geb. 051, Raum 01-028

Zeit, Ort & Organisatorisches:

Die Vorlesung findet in Geb. 052, Raum 02-017 jeweils

• Mittwoch, 14-16
• Freitag, 14-15
• Freitag, 15-16 (Übungen)

statt.

Vorlesungsbeginn:

24. Oktober 2007

Sprache: Deutsch

ECTS: 6

Curriculumeinordnung:

Bachelor of Science (4. oder 6. Semester): Wahlpflichtveranstaltung
Master of Science (2. oder 3. Semester): Wahlpflichtveranstaltung

Inhalt:

Die Vorlesung integriert die bisher angebotenen Vorlesungen Informationssysteme und Datenbanktheorie in eine Veranstaltung. Dementsprechend werden im ersten Teil des Semesters spezielle Techniken aus dem Bereich Anfragebearbeitung relationaler und deduktiver Datenbanken detailliert vorgestellt. Es wird die Äquivalenz und die effiziente Auswertung konjunktiver Anfragen an relationale Datenbanken behandelt. Es werden Anfragen in Form von Regeln betrachtet und so deduktive Datenbanken am Beispiel von Datalog eingeführt.
Im zweiten Teil des Semesters steht der Entwurf und die Analyse von Workflows im Mittelpunkt. Ein Workflow ist eine Abstraktion eines Geschäftsprozesses, die vor allem auf den Fluss digitalisierter Dokumente bzw. Objekte gerichtet ist und menschliche Aktivitäten bzw. Entscheidungen auf Interaktionen mit Anwendungssystemen reduziert. Als Formalismus zur Behandlung von Workflows werden Petri-Netze diskutiert, die eine intuitive graphische Darstellung besitzen und einer weitgehenden formalen Analyse zugänglich sind.

Literatur:

Als begleitende Literatur zur Vorlesung wird empfohlen:

Teil Datenbanktheorie:

• S. Abiteboul, R. Hull, V.Vianu:Foundations of Databases, Addison-Wesley, 1995. ISBN 0-201-53771-0

Teil Semantische Technologien für das Web:

• F. Manola, E. Miller: RDF Primer, W3C, 2004.
• C. Gutierrez, C. Hurtado, A. O. Mendelzon: Foundations of Semantic Web Databases, Proceedings ACM Symposium on Principles of Database Systems (PODS), Paris, France, June 2004, pp. 95 - 106.

Teil Informationssysteme:

• F. Leymann, D. Roller: Production Workflow - Concepts and Techniques, PTR Prentice Hall, 2000.
• W. Reisig: Systementwurf mit Netzen, Springer-Verlag, 1985. ISBN 0387137866
• B. Baumgarten: Petri-Netze: Grundlagen und Anwendungen Spektrum Akademischer Verlag, 1996.
• Tadao Murata: Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, Vol. 77, No. 4, April 1989.
• W.M.P. van der Aalst, K.M. van Hee: Workflow Management: Models, Methods and Systems. MIT Press, 2002.